LOGOS: An Object-Oriented Scheme to Implement Logic Programming Languages
نویسندگان
چکیده
This paper introduces LOGOS, an object-oriented framework to present and implement in a unitary manner different logic programming languages (abbreviated in the sequel as LPLs). LOGOS is made of · an abstract1 logic programming language (here refereed as AbstractLOGOS); · a class library of main data structures and actors which serve for implementing LPLs as instances of AbstractLOGOS; · an introductory methodology for LPLs implementation in LOGOS. Finally, estimations for usefulness and efficiency of working in LOGOS are given.
منابع مشابه
A Compilation Framework for Languages with Dynamic Thread Creation
The e ciency of multithreading is quite essential to the overall performance of concurrent object-oriented languages. It is very ine cient to implement such languages by using thread libraries. In this paper, we propose a framework that e ciently compiles languages which supports dynamic thread creation. In the framework, we designed and implemented a programming language Schematic, which is a ...
متن کاملFrom Object Speciication to Enhanced Logic Programming
We combine the area of object-oriented speciication and object-oriented logic programming by indicating the translation of a speciication language into an enhanced logic programming language. The translation shows that in comparison to the programming language the speciication language ooers richer concepts. The background of our work is the development of rapid prototyping systems for object-o...
متن کاملDeclarative Concurrent Object-oriented Programming in Tempo++
This paper presents Tempo++, a high-level programming language designed for concurrent object-oriented applications. It is based on a new programming model combining logic programming, constraint solving and object-oriented programming in a uniform framework. Tempo++ is an object-oriented extension to the declarative concurrent programming language Tempo Gregory and Ramirez 95]. It includes ext...
متن کاملMapping Objects to Prolog Predicates
The Logic Programming through Prolog has been widely used for supply persistence in many systems that need store knowledge. Some implementations of Prolog Programming Language used for supply persistence have bidirectional interfaces with other programming languages over all with Object Oriented Programing Languages. In present days is missing tools and frameworks for the systems development th...
متن کاملSymbiotic Reflection between an Object-Oriented and a Logic Programming Language
Meta-programming is the act of using one system or language to reason about another one. Reflection describes systems that have access to and change a causally connected representation of themselves, hence leading to self-extensible systems. Up to now, most of the reflective languages have been implemented in the same paradigm. In this paper, we propose symbiotic reflection as a way to integrat...
متن کامل